Imagine um sistema físico — um saldo de empréstimo em crescimento, um corpo caindo ou uma população de espécies em risco. A anatomia de uma equação diferencial de primeira ordem (EDO) é a ponte matemática que nos permite prever o estado futuro desses sistemas. Ela formaliza a relação entre uma variável independente $t$, uma variável dependente $y$ e sua taxa instantânea de variação.
1. A Taxonomia Estrutural
No seu cerne, uma EDO de primeira ordem relaciona a derivada às variáveis: $$\frac{dy}{dt} = f(t, y) \quad (1)$$ ou na sua forma implícita $F(t, y) = 0$. As equações são classificadas por seu "esqueleto":
- Anatomia Linear: Equações como $\frac{dy}{dt} = -ay + b$ (2), onde a função é linear em $y$. Observação: Por isso, usaremos o termo 'solução geral' apenas ao discutir equações lineares.
- Anatomia Autônoma: Quando a taxa depende exclusivamente do estado, $dy/dt = f(y)$. Essas frequentemente apresentam um nível de limite (T): um nível crítico de população abaixo do qual uma espécie não consegue se propagar e entra em extinção.
- Anatomia Exata: Verificada pela condição $M_y(x, y) = N_x(x, y)$. Se essa condição falhar, como no Exemplo 3, não existe $\psi(x, y)$ que satisfaça o sistema.
Etapa 1: Construção do Modelo
Situações físicas, como EXEMPLO 4 | Velocidade de Escape (um corpo de massa $m$ projetado da Terra), deve ser traduzido para termos matemáticos. Devemos considerar a gravidade e a velocidade inicial $v_0$.
Etapa 2: Estabilidade e Existência
Contamos com a condição de Lipschitz: $|f(t, y_1) - f(t, y_2)| \le K|y_1 - y_2|$ para garantir que uma solução exista e seja única. Sem isso, a "anatomia" do problema pode estar comprometida ou multivalorada.
2. Soluções e Visualização
Qualquer função diferenciável $y = \phi(t)$ que satisfaça a equação para todo $t$ em algum intervalo é chamada de solução. Geometricamente, representamos isso como uma curva integral. Para equações de Bernoulli, usamos a substituição $v = y^{1-n}$ para linearizar a anatomia.
🎯 Observação Crítica: Método de Euler
No EXEMPLO 1 (saldo de empréstimo $S(t)$ com juros de 12%), aproximações discretas usando o método de Euler $y_{n+1} = y_n + f_n \cdot (t_{n+1} - t_n)$ são frequentemente maiores que os valores contínuos reais. Isso acontece porque o gráfico da solução é côncavo para baixo, fazendo com que as aproximações por reta tangente fiquem acima do gráfico.
$\frac{dS}{dt} = rS - k \implies y_n = \rho^n y_0$